Basic research

Results: 2119



#Item
391

BRICS Basic Research in Computer Science BRICS RS-01-8 Frendrup & Jensen: Checking for Open Bisimilarity in the π-Calculus

Add to Reading List

Source URL: www.brics.dk

- Date: 2001-03-02 07:43:16
    392

    BRICS Basic Research in Computer Science BRICS RS-03-9 Damg˚ard & Frandsen: An Extended Quadratic Frobenius Primality Test

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 2003-03-04 17:18:23
      393

      BRICS Basic Research in Computer Science BRICS RSPagter & Rauhe: Optimal Time-Space Trade-Offs for Sorting Optimal Time-Space Trade-Offs for Sorting

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 1998-08-03 04:08:28
        394

        BRICS Basic Research in Computer Science BRICS LS-97-1 Chomicki & Toman: Temporal Logic in Information Systems Temporal Logic in Information Systems

        Add to Reading List

        Source URL: www.brics.dk

        - Date: 1997-11-19 05:22:14
          395

          BRICS Basic Research in Computer Science BRICS RSJ. Srba: On the Power of Labels in Transition Systems On the Power of

          Add to Reading List

          Source URL: www.brics.dk

          - Date: 2001-06-13 04:19:34
            396

            BRICS Basic Research in Computer Science BRICS RSNielsen et al.: On the Expressive Power of Concurrent Constraint Programming Languages On the Expressive Power of Concurrent

            Add to Reading List

            Source URL: www.brics.dk

            - Date: 2002-05-08 05:19:58
              397

              P IS The International Summer Program is designed for current life science students who want to gain basic knowledge in clinical research methodology and operation. The course is structured in a theoretical part at the u

              Add to Reading List

              Source URL: f3.hs-hannover.de

              - Date: 2012-09-26 08:54:39
                398

                BRICS RS-06-2 Kjærgaard & Bunde-Pedersen: A Formal Model for Context-Awareness BRICS Basic Research in Computer Science

                Add to Reading List

                Source URL: www.brics.dk

                - Date: 2006-03-13 05:39:41
                  399

                  BRICS Basic Research in Computer Science BRICS DS-00-6 J. G. Henriksen: Logics and Automata for Verification: Expressiveness and Decidability Issues

                  Add to Reading List

                  Source URL: www.brics.dk

                  - Date: 2001-09-12 09:39:37
                    400

                    BRICS Basic Research in Computer Science BRICS RSBrodal et al.: Solving the String Statistics Problem in Time O(n log n)

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 2002-10-25 08:27:35
                      UPDATE